Neil Ghani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Explicit substitutions and higher-order syntax

Neil Ghani, Tarmo Uustalu, Makoto Hamana

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 403 KB

english, 2006

2

Mathematical models of human mobility of relevance to malaria transmission in Africa

Marshall, John M., Wu, Sean L., Sanchez C., Hector M., Kiware, Samson S., Ndhlovu, Micky, Ouédraogo, André Lin, Touré, Mahamoudou B., Sturrock, Hugh J., Ghani, Azra C., Ferguson, Neil M.

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 7.15 MB

english, 2018

3

Modularity and Implementation of Mathematical Operational Semantics

Mauro Jaskelioff, Neil Ghani, Graham Hutton

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 257 KB

english, 2011

4

A principled approach to programming with nested types in Haskell

Patricia Johann, Neil Ghani

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 640 KB

english, 2009

5

Epidemiological and genetic analysis of severe acute respiratory syndrome

Christl A Donnelly, Matthew C Fisher, Christophe Fraser, Azra C Ghani, Steven Riley, Neil M Ferguson, Roy M Anderson

Journal:

The Lancet Infectious Diseases

Year:

2004

Language:

english

File:

PDF, 660 KB

english, 2004

6

Malaria morbidity and mortality in Ebola-affected countries caused by decreased health-care capacity, and the potential effect of mitigation strategies: a modelling analysis

Walker, Patrick G T, White, Michael T, Griffin, Jamie T, Reynolds, Alison, Ferguson, Neil M, Ghani, Azra C

Journal:

The Lancet Infectious Diseases

Year:

2015

Language:

english

File:

PDF, 4.31 MB

english, 2015

7

Contrasting benefits of different artemisinin combination therapies as first-line malaria treatments using model-based cost-effectiveness analysis

Okell, Lucy C., Cairns, Matthew, Griffin, Jamie T., Ferguson, Neil M., Tarning, Joel, Jagoe, George, Hugo, Pierre, Baker, Mark, D’Alessandro, Umberto, Bousema, Teun, Ubben, David, Ghani, Azra C.

Journal:

Nature Communications

Year:

2014

Language:

english

File:

PDF, 1.26 MB

english, 2014

8

Bifibrational Functorial Semantics of Parametric Polymorphism

Ghani, Neil, Johann, Patricia, Forsberg, Fredrik Nordvall, Orsanigo, Federico, Revell, Tim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 323 KB

english, 2015

9

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Compositional Game Theory

Ghani, Neil, Hedges, Jules, Winschel, Viktor, Zahn, Philipp

Year:

2018

Language:

english

File:

PDF, 703 KB

english, 2018

10

Antigen-driven T-cell Turnover

CHRISTOPHE FRASER, NEIL M. FERGUSON, FRANK DE WOLF, AZRA C. GHANI, GEOFF P. GARNETT, ROY M. ANDERSON

Journal:

Journal of Theoretical Biology

Year:

2002

Language:

english

File:

PDF, 272 KB

english, 2002

11

Preface

Neil Ghani, John Power

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 94 KB

english, 2006

12

Difunctorial Semantics of Object Calculus

Johan Glimming, Neil Ghani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

13

Continuous Functions on Final Coalgebras

Neil Ghani, Peter Hancock, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 324 KB

english, 2006

14

Continuous Functions on Final Coalgebras

Neil Ghani, Peter Hancock, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

15

String rewriting for double coset systems

Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley

Journal:

Journal of Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 542 KB

english, 2006

16

Computing over K-modules

Neil Ghani, Anne Heyworth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 378 KB

english, 2002

17

Coalgebraic Monads

Neil Ghani, Christoph Lüth, Federico De Marchi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 298 KB

english, 2002

18

Algebras, Coalgebras, Monads and Comonads

Neil Ghani, Christoph Lüth, Federico de Marchi, John Power

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 224 KB

english, 2001

19

Updated projections of future vCJD deaths in the UK

Azra C Ghani, Christl A Donnelly, Neil M Ferguson, Roy M Anderson

Journal:

BMC Infectious Diseases

Year:

2003

Language:

english

File:

PDF, 560 KB

english, 2003

20

Modelling the impact of vector control interventions onAnopheles gambiaepopulation dynamics

Michael T White, Jamie T Griffin, Thomas S Churcher, Neil M Ferguson, María-Gloria Basáñez, Azra C Ghani

Journal:

Parasites & Vectors

Year:

2011

Language:

english

File:

PDF, 719 KB

english, 2011

21

Relationally Staged Computations in Calculi of Mobile Processes

Neil Ghani, Kidane Yemane, Björn Victor

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 293 KB

english, 2004

22

Containers: Constructing strictly positive types

Michael Abbott, Thorsten Altenkirch, Neil Ghani

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

23

Effect of partial or total replacement of forage fish by a dry diet on the quality of reproduction in pikeperch, Sander lucioperca

Neil Wang, S N M Mandiki, Emilie Henrotte, Abdel-Ghany Bouyahia, Guillaume Mairesse, Carole Rougeot, Charles Melard, Patrick Kestemont

Journal:

Aquaculture Research

Year:

2009

Language:

english

File:

PDF, 162 KB

english, 2009

24

10.1038/35020688

Ferguson, Neil M., Ghani, Azra C., Donnelly, Christl A., Anderson, Roy M.

Journal:

Year:

2000

Language:

english

File:

PDF, 164 KB

english, 2000

25

The transmission dynamics of BSE and vCJD

Azra C. Ghani, Christl A. Donnelly, Neil M. Ferguson, Roy M. Anderson

Journal:

Comptes Rendus Biologies

Year:

2002

Language:

english

File:

PDF, 413 KB

english, 2002

26

Linking the incidence and age patterns of clinical malaria to parasite prevalence using a mathematical model

Jamie T Griffin, Neil M Ferguson, Azra C Ghani

Journal:

Malaria Journal

Year:

2012

Language:

english

File:

PDF, 74 KB

english, 2012

27

Estimating transmission intensity fromP.falciparumserological data using antibody density models

Emilie Pothin, Neil Ferguson, Chris Drakeley, Azra Ghani

Journal:

Malaria Journal

Year:

2012

Language:

english

File:

PDF, 66 KB

english, 2012

28

Epidemiological Determinants of the Pattern and Magnitude of the vCJD Epidemic in Great Britain

Azra C. Ghani, Neil M. Ferguson, Christl A. Donnelly, Thomas J. Hagenaars and Roy M. Anderson

Journal:

Proceedings Biological Sciences

Year:

1998

Language:

english

File:

PDF, 2.74 MB

english, 1998

29

Control of a Highly Pathogenic H5N1 Avian Influenza Outbreak in the GB Poultry Flock

James Truscott, Tini Garske, Irina Chis-Ster, Javier Guitian, Dirk Pfeiffer, Lucy Snow, John Wilesmith, Neil M. Ferguson and Azra C. Ghani

Journal:

Proceedings Biological Sciences

Year:

2007

Language:

english

File:

PDF, 1.84 MB

english, 2007

30

Factors Determining the Pattern of the Variant Creutzfeldt-Jakob Disease (vCJD) Epidemic in the UK

Azra C. Ghani, Neil M. Ferguson, Christl A. Donnelly and Roy M. Anderson

Journal:

Proceedings Biological Sciences

Year:

2003

Language:

english

File:

PDF, 1.59 MB

english, 2003

31

Implications of BSE Infection Screening Data for the Scale of the British BSE Epidemic and Current European Infection Levels

Christl A. Donnelly, Neil M. Ferguson, Azra C. Ghani and Roy M. Anderson

Journal:

Proceedings Biological Sciences

Year:

2002

Language:

english

File:

PDF, 2.00 MB

english, 2002

32

Assessment of the Prevalence of vCJD through Testing Tonsils and Appendices for Abnormal Prion Protein

Azra C. Ghani, Christl A. Donnelly, Neil M. Ferguson and Roy M. Anderson

Journal:

Proceedings Biological Sciences

Year:

2000

Language:

english

File:

PDF, 1009 KB

english, 2000

33

Household Transmission of 2009 Pandemic Influenza A (H1N1) Virus in the United States

Cauchemez, Simon, Donnelly, Christl A., Reed, Carrie, Ghani, Azra C., Fraser, Christophe, Kent, Charlotte K., Finelli, Lyn, Ferguson, Neil M.

Journal:

Boston Medical and Surgical Journal

Year:

2009

Language:

english

File:

PDF, 297 KB

english, 2009

34

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Fibred Data Types

Ghani, Neil, Malatesta, Lorenzo, Forsberg, Fredrik Nordvall, Setzer, Anton

Year:

2013

Language:

english

File:

PDF, 382 KB

english, 2013

35

A UNIVERSE OF STRICTLY POSITIVE FAMILIES

MORRIS, PETER, ALTENKIRCH, THORSTEN, GHANI, NEIL

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 260 KB

english, 2009

36

Adenosine is required for sustained inflammasome activation via the A2A receptor and the HIF-1α pathway

Ouyang, Xinshou, Ghani, Ayaz, Malik, Ahsan, Wilder, Tuere, Colegio, Oscar Rene, Flavell, Richard Anthony, Cronstein, Bruce Neil, Mehal, Wajahat Zafar

Journal:

Nature Communications

Year:

2013

Language:

english

File:

PDF, 894 KB

english, 2013

37

Containers, monads and induction recursion

GHANI, NEIL, HANCOCK, PETER

Journal:

Mathematical Structures in Computer Science

Year:

2014

Language:

english

File:

PDF, 359 KB

english, 2014

38

Dualising initial algebras

GHANI, NEIL, LTH, CHRISTOPH, DE MARCHI, FEDERICO, POWER, JOHN

Journal:

Mathematical Structures in Computer Science

Year:

2003

Language:

english

File:

PDF, 372 KB

english, 2003

39

Monads of coalgebras: rational terms and term graphs

GHANI, NEIL, LÜTH, CHRISTOPH, DE MARCHI, FEDERICO

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 355 KB

english, 2005

40

Short-term projections for variant Creutzfeldt-Jakob disease onsets

Ghani, Azra C, Ferguson, Neil M, Donnelly, Christl A, Anderson, Roy M

Journal:

Statistical Methods in Medical Research

Year:

2003

Language:

english

File:

PDF, 239 KB

english, 2003

41

Managing and Reducing Uncertainty in an Emerging Influenza Pandemic

Lipsitch, Marc, Riley, Steven, Cauchemez, Simon, Ghani, Azra C., Ferguson, Neil M.

Journal:

Boston Medical and Surgical Journal

Year:

2009

Language:

english

File:

PDF, 1.03 MB

english, 2009

42

Reducing Plasmodium falciparum Malaria Transmission in Africa: A Model-Based Evaluation of Intervention Strategies

Griffin, Jamie T., Hollingsworth, T. Deirdre, Okell, Lucy C., Churcher, Thomas S., White, Michael, Hinsley, Wes, Bousema, Teun, Drakeley, Chris J., Ferguson, Neil M., Basáñez, María-Gloria, Ghani, Azr

Journal:

Year:

2010

Language:

english

File:

PDF, 988 KB

english, 2010

43

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Foundations for structured programming with GADTs

Johann, Patricia, Ghani, Neil

Year:

2008

Language:

english

File:

PDF, 216 KB

english, 2008

44

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A relationally parametric model of dependent type theory

Atkey, Robert, Ghani, Neil, Johann, Patricia

Year:

2014

Language:

english

File:

PDF, 634 KB

english, 2014

45

Foundations for structured programming with GADTs

Johann, Patricia, Ghani, Neil

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 216 KB

english, 2008

46

[ACM Press the 2003 workshop - Uppsala, Sweden (2003.08.26-..)] Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - Explicit substitutions and higher-order syntax

Ghani, Neil, Uustalu, Tarmo

Year:

2003

Language:

english

File:

PDF, 173 KB

english, 2003

47

Estimates of the changing age-burden of Plasmodium falciparum malaria disease in sub-Saharan Africa

Griffin, Jamie T., Ferguson, Neil M., Ghani, Azra C.

Journal:

Nature Communications

Year:

2014

Language:

english

File:

PDF, 761 KB

english, 2014

48

Antigen-Driven CD4+ T Cell and HIV-1 Dynamics: Residual Viral Replication under Highly Active Antiretroviral Therapy

Neil M. Ferguson, Frank deWolf, Azra C. Ghani, Christophe Fraser, Christl A. Donnelly, Peter Reiss, Joep M. A. Lange, Sven A. Danner, Geoff P. Garnett, Jaap Goudsmit and Roy M. Anderson

Journal:

Proceedings of the National Academy of Sciences

Year:

1999

Language:

english

File:

PDF, 1.78 MB

english, 1999

49

Reduction of the HIV-1-infected T-cell reservoir by immune activation treatment is dose-dependent and restricted by the potency of antiretroviral drugs

Fraser, Christophe, Ferguson, Neil M., Ghani, Azra C., Prins, Jan M., Lange, Joep M. A., Goudsmit, Jaap, Anderson, Roy M., de Wolf, Frank

Journal:

Year:

2000

Language:

english

File:

PDF, 456 KB

english, 2000

50

Surrogate Markers for Disease Progression in Treated HIV Infection

Ghani, Azra C., de Wolf, Frank, Ferguson, Neil M., Donnelly, Christl A., Coutinho, Roel, Miedema, Frank, Goudsmit, Jaap, Anderson, Roy M.

Journal:

JAIDS Journal of Acquired Immune Deficiency Syndromes

Year:

2001

File:

PDF, 3.96 MB

2001